exact additive functor

正合加性函子